Checking Heterogeneous Signal Characteristics Applying Assertion-Based Verification

Heterogeneous system verification lacks on functional and formal verification methodologies. A verification gap exists between the different signal domains. To bridge this gap an assertion-based design method is essential. This requires the integration of the special analog characteristics in formal digital temporal assertions. Therefore, we defined a new set of mixed-signal assertions to improve the verification process. Our novel approach extends the assertion-based verification techniques for fast falsification. The proposed method is demonstrated by several examples which verify analog signal range behavior, slopes, frequencies, differential algebraic equations, and attenuation with SystemC-AMS simulations.